11![A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries Alessandro Artale1 , Enrico Franconi2 , Frank Wolter3 , Michael Zakharyaschev4 1 Dept. of Computation, UMIST, Manchester, UK; t A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries Alessandro Artale1 , Enrico Franconi2 , Frank Wolter3 , Michael Zakharyaschev4 1 Dept. of Computation, UMIST, Manchester, UK; t](https://www.pdfsearch.io/img/ef5700d2f3bc335db65d38951f12930d.jpg) | Add to Reading ListSource URL: www.inf.unibz.itLanguage: English - Date: 2017-01-27 04:48:10
|
---|
12![Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel](https://www.pdfsearch.io/img/5a361937d03bb5c8dc28249b3bacb003.jpg) | Add to Reading ListSource URL: iltp.deLanguage: English - Date: 2018-03-07 05:52:01
|
---|
13![An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China](https://www.pdfsearch.io/img/dad0582228c50628bd76446207222668.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2009-07-07 04:46:34
|
---|
14![Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes ? Sofia Espinosa Peraldi, Atila Kaya, Ralf M¨oller Hamburg University of Technology, Germany, {sofia.espinosa, at.kaya, r.f.moeller} Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes ? Sofia Espinosa Peraldi, Atila Kaya, Ralf M¨oller Hamburg University of Technology, Germany, {sofia.espinosa, at.kaya, r.f.moeller}](https://www.pdfsearch.io/img/7927bdbab08dce9849b6d58380da3ef2.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2009-07-07 04:46:34
|
---|
15![Mapping Data to Higher-Order Description Logic Knowledge Bases Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Universit`a d Mapping Data to Higher-Order Description Logic Knowledge Bases Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Universit`a d](https://www.pdfsearch.io/img/624810ce56e6ff4647be050b76eee555.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2011-06-28 16:36:40
|
---|
16![Fair Cycle Detection using Description Logic Reasoning Shoham Ben-David1 , Jeffrey Pound1 , Richard Trefler1 , Dmitry Tsarkov2 , Grant Weddell1 1. David R. Cheriton School of Computer Science, University of Waterloo 2. S Fair Cycle Detection using Description Logic Reasoning Shoham Ben-David1 , Jeffrey Pound1 , Richard Trefler1 , Dmitry Tsarkov2 , Grant Weddell1 1. David R. Cheriton School of Computer Science, University of Waterloo 2. S](https://www.pdfsearch.io/img/9bdb23c251af252a3066dd2ff94aceb5.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2009-07-07 04:46:34
|
---|
17![Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies Quentin Reul1 and Jeff Z. Pan2 1 Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies Quentin Reul1 and Jeff Z. Pan2 1](https://www.pdfsearch.io/img/63e3ffd1966f193fce7f0356ae93633d.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2010-04-20 14:40:19
|
---|
18![Forgetting and uniform interpolation in extensions of the description logic EL Boris Konev, Dirk Walther, and Frank Wolter? University of Liverpool, UK {konev, dwalther, wolter}@liverpool.ac.uk Forgetting and uniform interpolation in extensions of the description logic EL Boris Konev, Dirk Walther, and Frank Wolter? University of Liverpool, UK {konev, dwalther, wolter}@liverpool.ac.uk](https://www.pdfsearch.io/img/ee04b17e5ec8d6fe458b4b424f311364.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2009-07-07 04:46:34
|
---|
19![A Resolution Based Description Logic Calculus Zsolt Zombori1 and Gergely Luk´acsy2 1 Budapest University of Technology and Economics, Hungary 2 A Resolution Based Description Logic Calculus Zsolt Zombori1 and Gergely Luk´acsy2 1 Budapest University of Technology and Economics, Hungary 2](https://www.pdfsearch.io/img/2cbeb97a38a6f4b998227b3c88b4d140.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2009-07-07 04:46:34
|
---|
20![Paraconsistent Rough Description Logic Henrique Viana? , Jo˜ao Alcˆantara?? and Ana Teresa Martins? ? ? Departamento de Computac¸a˜ o, Universidade Federal do Cear´a, P.O.Box 12166, Fortaleza, CE, BrasilA Paraconsistent Rough Description Logic Henrique Viana? , Jo˜ao Alcˆantara?? and Ana Teresa Martins? ? ? Departamento de Computac¸a˜ o, Universidade Federal do Cear´a, P.O.Box 12166, Fortaleza, CE, BrasilA](https://www.pdfsearch.io/img/bff31c286ba6174147e46d4b7bdd3af2.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2011-06-26 10:23:07
|
---|